\begin{tabbing}
(\=Id) \+
\\[0ex]CollapseTHEN (optimize\_extract (ioid Obid: less{-}fast{-}fib) LinearC)$\cdot$
\-
\end{tabbing}